Type: \(\displaystyle A^{1}_2\) (Dynkin type computed to be: \(\displaystyle A^{1}_2\))
Simple basis: 2 vectors: (1, 1, 1, 1, 1, 1), (0, 0, 0, 0, 0, -1)
Simple basis epsilon form:
Simple basis epsilon form with respect to k:
Number of outer autos with trivial action on orthogonal complement and extending to autos of ambient algebra: 0
Number of outer autos with trivial action on orthogonal complement: 0.
C(k_{ss})_{ss}: A^{1}_3
simple basis centralizer: 3 vectors: (0, 1, 0, 0, 0, 0), (0, 0, 0, 1, 0, 0), (0, 0, 1, 0, 0, 0)
Number of k-submodules of g: 25
Module decomposition, fundamental coords over k: \(\displaystyle V_{\omega_{1}+\omega_{2}}+4V_{\omega_{2}}+4V_{\omega_{1}}+16V_{0}\)
g/k k-submodules
idsizeb\cap k-lowest weightb\cap k-highest weightModule basisWeights epsilon coords
Module 11(0, -1, -1, -1, 0, 0)(0, -1, -1, -1, 0, 0)g_{-13}-\varepsilon_{2}+\varepsilon_{5}
Module 21(0, 0, -1, -1, 0, 0)(0, 0, -1, -1, 0, 0)g_{-9}-\varepsilon_{3}+\varepsilon_{5}
Module 31(0, -1, -1, 0, 0, 0)(0, -1, -1, 0, 0, 0)g_{-8}-\varepsilon_{2}+\varepsilon_{4}
Module 41(0, 0, 0, -1, 0, 0)(0, 0, 0, -1, 0, 0)g_{-4}-\varepsilon_{4}+\varepsilon_{5}
Module 51(0, 0, -1, 0, 0, 0)(0, 0, -1, 0, 0, 0)g_{-3}-\varepsilon_{3}+\varepsilon_{4}
Module 61(0, -1, 0, 0, 0, 0)(0, -1, 0, 0, 0, 0)g_{-2}-\varepsilon_{2}+\varepsilon_{3}
Module 73(0, -1, -1, -1, -1, 0)(1, 0, 0, 0, 0, 0)g_{1}
g_{-20}
g_{-17}		\varepsilon_{1}-\varepsilon_{2}
-\varepsilon_{2}+\varepsilon_{7}
-\varepsilon_{2}+\varepsilon_{6}
Module 81(0, 1, 0, 0, 0, 0)(0, 1, 0, 0, 0, 0)g_{2}\varepsilon_{2}-\varepsilon_{3}
Module 91(0, 0, 1, 0, 0, 0)(0, 0, 1, 0, 0, 0)g_{3}\varepsilon_{3}-\varepsilon_{4}
Module 101(0, 0, 0, 1, 0, 0)(0, 0, 0, 1, 0, 0)g_{4}\varepsilon_{4}-\varepsilon_{5}
Module 113(-1, -1, -1, -1, 0, 0)(0, 0, 0, 0, 1, 0)g_{5}
g_{11}
g_{-16}		\varepsilon_{5}-\varepsilon_{6}
\varepsilon_{5}-\varepsilon_{7}
-\varepsilon_{1}+\varepsilon_{5}
Module 123(0, 0, -1, -1, -1, 0)(1, 1, 0, 0, 0, 0)g_{7}
g_{-18}
g_{-14}		\varepsilon_{1}-\varepsilon_{3}
-\varepsilon_{3}+\varepsilon_{7}
-\varepsilon_{3}+\varepsilon_{6}
Module 131(0, 1, 1, 0, 0, 0)(0, 1, 1, 0, 0, 0)g_{8}\varepsilon_{2}-\varepsilon_{4}
Module 141(0, 0, 1, 1, 0, 0)(0, 0, 1, 1, 0, 0)g_{9}\varepsilon_{3}-\varepsilon_{5}
Module 153(-1, -1, -1, 0, 0, 0)(0, 0, 0, 1, 1, 0)g_{10}
g_{15}
g_{-12}		\varepsilon_{4}-\varepsilon_{6}
\varepsilon_{4}-\varepsilon_{7}
-\varepsilon_{1}+\varepsilon_{4}
Module 163(0, 0, 0, -1, -1, 0)(1, 1, 1, 0, 0, 0)g_{12}
g_{-15}
g_{-10}		\varepsilon_{1}-\varepsilon_{4}
-\varepsilon_{4}+\varepsilon_{7}
-\varepsilon_{4}+\varepsilon_{6}
Module 171(0, 1, 1, 1, 0, 0)(0, 1, 1, 1, 0, 0)g_{13}\varepsilon_{2}-\varepsilon_{5}
Module 183(-1, -1, 0, 0, 0, 0)(0, 0, 1, 1, 1, 0)g_{14}
g_{18}
g_{-7}		\varepsilon_{3}-\varepsilon_{6}
\varepsilon_{3}-\varepsilon_{7}
-\varepsilon_{1}+\varepsilon_{3}
Module 193(0, 0, 0, 0, -1, 0)(1, 1, 1, 1, 0, 0)g_{16}
g_{-11}
g_{-5}		\varepsilon_{1}-\varepsilon_{5}
-\varepsilon_{5}+\varepsilon_{7}
-\varepsilon_{5}+\varepsilon_{6}
Module 203(-1, 0, 0, 0, 0, 0)(0, 1, 1, 1, 1, 0)g_{17}
g_{20}
g_{-1}		\varepsilon_{2}-\varepsilon_{6}
\varepsilon_{2}-\varepsilon_{7}
-\varepsilon_{1}+\varepsilon_{2}
Module 218(-1, -1, -1, -1, -1, 0)(1, 1, 1, 1, 1, 0)g_{19}
g_{-6}
g_{21}
-h_{6}
h_{6}+h_{5}+h_{4}+h_{3}+h_{2}+h_{1}
g_{-21}
g_{6}
g_{-19}		\varepsilon_{1}-\varepsilon_{6}
-\varepsilon_{6}+\varepsilon_{7}
\varepsilon_{1}-\varepsilon_{7}
0
0
-\varepsilon_{1}+\varepsilon_{7}
\varepsilon_{6}-\varepsilon_{7}
-\varepsilon_{1}+\varepsilon_{6}
Module 221(0, 0, 0, 0, 0, 0)(0, 0, 0, 0, 0, 0)h_{2}0
Module 231(0, 0, 0, 0, 0, 0)(0, 0, 0, 0, 0, 0)h_{3}0
Module 241(0, 0, 0, 0, 0, 0)(0, 0, 0, 0, 0, 0)h_{4}0
Module 251(0, 0, 0, 0, 0, 0)(0, 0, 0, 0, 0, 0)h_{6}+2h_{5}-h_{1}0
Information about the subalgebra generation algorithm.
Heirs rejected due to having symmetric Cartan type outside of list dictated by parabolic heirs: 5
Heirs rejected due to not being maximally dominant: 14
Heirs rejected due to not being maximal with respect to small Dynkin diagram automorphism that extends to ambient automorphism: 14
Heirs rejected due to having ambient Lie algebra decomposition iso to an already found subalgebra: 0
Parabolically induced by A^{1}_1
Potential Dynkin type extensions: A^{1}_3, A^{1}_2+A^{1}_1,